полнота

  • 161ГОСТ Р МЭК 62061-2013: Безопасность оборудования. Функциональная безопасность систем управления электрических, электронных и программируемых электронных, связанных с безопасностью — Терминология ГОСТ Р МЭК 62061 2013: Безопасность оборудования. Функциональная безопасность систем управления электрических, электронных и программируемых электронных, связанных с безопасностью оригинал документа: вероятность опасного отказа в… …

    Словарь-справочник терминов нормативно-технической документации

  • 162ДОГМАТИЧЕСКОГО РАЗВИТИЯ ТЕОРИЯ — [англ. development of dogma; нем. der Dogmenentwicklung; франц. le développement du dogme], попытка осмысления проблемы появления новых догматов в христ. вероучении, неразрывно связана с богословской оценкой идеи истории. Совр. наука немыслима… …

    Православная энциклопедия

  • 163ЕФЕСЯНАМ ПОСЛАНИЕ — [Послание к Ефесянам], одно из писем ап. Павла, входящее в канон НЗ. Текст и канонический авторитет Самые ранние свидетельства текста Е. П. представлены папирусами P 46 (ок. 200; содержит 1 ю, 3 4 ю главы полностью, во 2 й гл. не хватает стихов 8 …

    Православная энциклопедия

  • 164Федоров, Юрий Михайлович — (р.23.06.1936) спец. по филос. антропологии, онтологии и соц. филос.; д р филос. наук. Род. в г. Гудаута (Абхазия). Окончил Омское высшее общевойсковое командное училище (1960), ВПА (1970) и адъюнктуру при ней (1973). С 1973 по 1986 нач. кафедры… …

    Большая биографическая энциклопедия

  • 165Васюков, Владимир Леонидович — (р. 02.11.1948) спец. по логике; д р филос. наук, вед. н. с. Род. в г. Рига (Латвия). Окончил физ. ф т Львовского гос. ун та (1972). С 1980 по 1990 н. с. вычислительного центра Львовского политехн. ин та, в 1991 1995 ст. н. с. Обществ, ик та… …

    Большая биографическая энциклопедия

  • 166Философия — есть свободное исследование основных проблем бытия, человеческого познания, деятельности и красоты. Ф. имеет задачу весьма сложную и решает ее различным образом, стараясь соединить в одно разумное целое данные, добытые наукой, и религиозные… …

    Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • 167ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …

    История Философии: Энциклопедия

  • 168ДИЛЬТЕЙ — (Dilthey) Вильгельм (1833 1911) нем. философ, историк культуры, представитель философии жизни, основоположник «понимающей психологии», один из основателей исторической герменевтики. С 1867 по 1908 проф. ун тов в Базеле, Киле, Бреслау и Берлине.… …

    Философская энциклопедия

  • 169НИЦШЕ — (Nietzsche) Фридрих (1844 1900) нем. философ, представитель философии жизни, поэт. С детства обнаружил поэтические и музыкальные способности, с последнего курса филологического факультета Лейпцигского ун та (1869) был приглашен на должность проф …

    Философская энциклопедия

  • 170СПИНОЗА — (Spinoza, d Espinosa) Бенедикт (Барух) (1632 1677) нидер. евр. философ. Род. в евр. общине в Амстердаме. Родители выходцы из Португалии. Получил фундаментальное иудаистское образование. Одновременно общался с христианами гуманистами. Большое… …

    Философская энциклопедия

  • 171БЛИЗОСТИ ПРОСТРАНСТВО — множество Рс бинарным отношением на множестве всех его подмножеств, удовлетворяющее следующим аксиомам: 1) равносильно (симметричность); 2) равносильно или (аддитивность); 3) равносильно …

    Математическая энциклопедия

  • 172Машина Тьюринга — Художественное представление машины Тьюринга Машина Тьюринга (МТ)  абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма …

    Википедия

  • 173Викисловарь — Wiktionary URL: www.wiktionary.org Коммерческий: Нет …

    Википедия

  • 174Список арабских имён — Эта страница информационный список. См. также основную статью: Арабское имя Ниже приведен список арабских имен и имен арабского происхождения. Содержание …

    Википедия

  • 175Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …

    Википедия

  • 176Задача о вершинном покрытии — NP полная задача информатики в области теории графов. Часто используется в теории сложности для доказательства NP полноты более сложных задач. Содержание 1 Определение 2 NP полнота 3 Ссылки …

    Википедия

  • 177Полная категория — Категория называется полной в малом, если в ней любая (малая) диаграмма имеет предел. Дуальное понятие  кополная в малом категория, то есть та, в которой любая малая диаграмма имеет копредел. Аналогично определяется конечная полнота и вообще …

    Википедия

  • 178Экономическая информационная система — (ЭИС) представляет собой совокупность организационных, технических, программных и информационных средств, объединённых в единую систему с целью сбора, хранения, обработки и выдачи необходимой информации, предназначенной для выполнения функций… …

    Википедия

  • 179Детерминированная машина Тьюринга — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… …

    Википедия

  • 180Машина Тьюринга для умножения чисел — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… …

    Википедия